Reasoning About a Simulated Printer Case Investigation with Forensic Lucid

In this work we model the ACME (a fictitious company name) "printer case incident" and make its specification in Forensic Lucid, a Lucid- and intensional-logic-based programming language for cyberforensic analysis and event reconstruction specification. The printer case involves a dispute between two parties that was previously solved using the finite-state automata (FSA) approach, and is now re-done in a more usable way in Forensic Lucid. Our simulation is based on the said case modeling by encoding concepts like evidence and the related witness accounts as an evidential statement context in a Forensic Lucid program, which is an input to the transition function that models the possible deductions in the case. We then invoke the transition function (actually its reverse) with the evidential statement context to see if the evidence we encoded agrees with one's claims and then attempt to reconstruct the sequence of events that may explain the claim or disprove it.Comment: 18 pages, 3 figures, 7 listings, TOC, index; this article closely relates to arXiv:0906.0049 and arXiv:0904.3789 but to remain stand-alone repeats some of the background and introductory content; abstract presented at HSC'09 and the full updated paper at ICDF2C'11. This is an updated/edited version after ICDF2C proceedings with more references and correction

Aerial strategies advance volcanic gas measurements at inaccessible, strongly degassing volcanoes

Volcanic emissions are a critical pathway in Earth's carbon cycle. Here, we show that aerial measurements of volcanic gases using unoccupied aerial systems (UAS) transform our ability to measure and monitor plumes remotely and to constrain global volatile fluxes from volcanoes. Combining multi-scale measurements from ground-based remote sensing, long-range aerial sampling, and satellites, we present comprehensive gas fluxes-3760 ± [600, 310] tons day-1CO2and 5150 ± [730, 340] tons day-1SO2-for a strong yet previously uncharacterized volcanic emitter: Manam, Papua New Guinea. The CO2/ST ratio of 1.07 ± 0.06 suggests a modest slab sediment contribution to the sub-arc mantle. We find that aerial strategies reduce uncertainties associated with ground-based remote sensing of SO2flux and enable near-real-time measurements of plume chemistry and carbon isotope composition. Our data emphasize the need to account for time averaging of temporal variability in volcanic gas emissions in global flux estimates

“Actually there is a brain in there”: uncovering complexity in pathways through education for young adults who have been in care

Internationally, research has highlighted disruption to the educational trajectories of young people in care, documenting concern about upheaval and poor educational outcomes. We present findings from English data arising from qualitative longitudinal research with care experienced people (16-32 years) who were also in education, employment or training. The analysis extends understanding of the experiences of those who achieve educational ‘success’, including those who followed non-linear trajectories. The need for a flexible education system, and leaving care entitlements, which take into account the disruption experienced by young people in care and the consequent possibility of delayed educational pathways, is discussed

Aerial strategies advance volcanic gas measurements at inaccessible, strongly degassing volcanoes.

Volcanic emissions are a critical pathway in Earth's carbon cycle. Here, we show that aerial measurements of volcanic gases using unoccupied aerial systems (UAS) transform our ability to measure and monitor plumes remotely and to constrain global volatile fluxes from volcanoes. Combining multi-scale measurements from ground-based remote sensing, long-range aerial sampling, and satellites, we present comprehensive gas fluxes-3760 ± [600, 310] tons day-1 CO2 and 5150 ± [730, 340] tons day-1 SO2-for a strong yet previously uncharacterized volcanic emitter: Manam, Papua New Guinea. The CO2/ST ratio of 1.07 ± 0.06 suggests a modest slab sediment contribution to the sub-arc mantle. We find that aerial strategies reduce uncertainties associated with ground-based remote sensing of SO2 flux and enable near-real-time measurements of plume chemistry and carbon isotope composition. Our data emphasize the need to account for time averaging of temporal variability in volcanic gas emissions in global flux estimates

Aerial strategies advance volcanic gas measurements at inaccessible, strongly degassing volcanoes

Volcanic emissions are a critical pathway in Earth’s carbon cycle. Here, we show that aerial measurements of volcanic gases using unoccupied aerial systems (UAS) transform our ability to measure and monitor plumes remotely and to constrain global volatile fluxes from volcanoes. Combining multi-scale measurements from ground-based remote sensing, long-range aerial sampling, and satellites, we present comprehensive gas fluxes—3760 ± [600, 310] tons day−1 CO2 and 5150 ± [730, 340] tons day−1 SO2—for a strong yet previously uncharacterized volcanic emitter: Manam, Papua New Guinea. The CO2/ST ratio of 1.07 ± 0.06 suggests a modest slab sediment contribution to the sub-arc mantle. We find that aerial strategies reduce uncertainties associated with ground-based remote sensing of SO2 flux and enable near–real-time measurements of plume chemistry and carbon isotope composition. Our data emphasize the need to account for time averaging of temporal variability in volcanic gas emissions in global flux estimates

Aerial strategies advance volcanic gas measurements at inaccessible, strongly degassing volcanoes

Volcanic emissions are a critical pathway in Earth’s carbon cycle. Here, we show that aerial measurements of volcanic gases using unoccupied aerial systems (UAS) transform our ability to measure and monitor plumes remotely and to constrain global volatile fluxes from volcanoes. Combining multi-scale measurements from ground-based remote sensing, long-range aerial sampling, and satellites, we present comprehensive gas fluxes—3760 ± [600, 310] tons day−1 CO2 and 5150 ± [730, 340] tons day−1 SO2—for a strong yet previously uncharacterized volcanic emitter: Manam, Papua New Guinea. The CO2/ST ratio of 1.07 ± 0.06 suggests a modest slab sediment contribution to the sub-arc mantle. We find that aerial strategies reduce uncertainties associated with ground-based remote sensing of SO2 flux and enable near–real-time measurements of plume chemistry and carbon isotope composition. Our data emphasize the need to account for time averaging of temporal variability in volcanic gas emissions in global flux estimates

Targeted Next-Generation Sequencing Analysis of 1,000 Individuals with Intellectual Disability.

To identify genetic causes of intellectual disability (ID), we screened a cohort of 986 individuals with moderate to severe ID for variants in 565 known or candidate ID-associated genes using targeted next-generation sequencing. Likely pathogenic rare variants were found in ∼11% of the cases (113 variants in 107/986 individuals: ∼8% of the individuals had a likely pathogenic loss-of-function [LoF] variant, whereas ∼3% had a known pathogenic missense variant). Variants in SETD5, ATRX, CUL4B, MECP2, and ARID1B were the most common causes of ID. This study assessed the value of sequencing a cohort of probands to provide a molecular diagnosis of ID, without the availability of DNA from both parents for de novo sequence analysis. This modeling is clinically relevant as 28% of all UK families with dependent children are single parent households. In conclusion, to diagnose patients with ID in the absence of parental DNA, we recommend investigation of all LoF variants in known genes that cause ID and assessment of a limited list of proven pathogenic missense variants in these genes. This will provide 11% additional diagnostic yield beyond the 10%-15% yield from array CGH alone.Action Medical Research (SP4640); the Birth Defect Foundation (RG45448); the Cambridge National Institute for Health Research Biomedical Research Centre (RG64219); the NIHR Rare Diseases BioResource (RBAG163); Wellcome Trust award WT091310; The Cell lines and DNA bank of Rett Syndrome, X-linked mental retardation and other genetic diseases (member of the Telethon Network of Genetic Biobanks (project no. GTB12001); the Genetic Origins of Congenital Heart Disease Study (GO-CHD)- funded by British Heart Foundation (BHF)This is the final version of the article. It first appeared from Wiley via http://dx.doi.org/10.1002/humu.2290

Dipeptidyl peptidase-1 inhibition in patients hospitalised with COVID-19: a multicentre, double-blind, randomised, parallel-group, placebo-controlled trial

Background Neutrophil serine proteases are involved in the pathogenesis of COVID-19 and increased serine protease activity has been reported in severe and fatal infection. We investigated whether brensocatib, an inhibitor of dipeptidyl peptidase-1 (DPP-1; an enzyme responsible for the activation of neutrophil serine proteases), would improve outcomes in patients hospitalised with COVID-19. Methods In a multicentre, double-blind, randomised, parallel-group, placebo-controlled trial, across 14 hospitals in the UK, patients aged 16 years and older who were hospitalised with COVID-19 and had at least one risk factor for severe disease were randomly assigned 1:1, within 96 h of hospital admission, to once-daily brensocatib 25 mg or placebo orally for 28 days. Patients were randomly assigned via a central web-based randomisation system (TruST). Randomisation was stratified by site and age (65 years or ≥65 years), and within each stratum, blocks were of random sizes of two, four, or six patients. Participants in both groups continued to receive other therapies required to manage their condition. Participants, study staff, and investigators were masked to the study assignment. The primary outcome was the 7-point WHO ordinal scale for clinical status at day 29 after random assignment. The intention-to-treat population included all patients who were randomly assigned and met the enrolment criteria. The safety population included all participants who received at least one dose of study medication. This study was registered with the ISRCTN registry, ISRCTN30564012. Findings Between June 5, 2020, and Jan 25, 2021, 406 patients were randomly assigned to brensocatib or placebo; 192 (47·3%) to the brensocatib group and 214 (52·7%) to the placebo group. Two participants were excluded after being randomly assigned in the brensocatib group (214 patients included in the placebo group and 190 included in the brensocatib group in the intention-to-treat population). Primary outcome data was unavailable for six patients (three in the brensocatib group and three in the placebo group). Patients in the brensocatib group had worse clinical status at day 29 after being randomly assigned than those in the placebo group (adjusted odds ratio 0·72 [95% CI 0·57–0·92]). Prespecified subgroup analyses of the primary outcome supported the primary results. 185 participants reported at least one adverse event; 99 (46%) in the placebo group and 86 (45%) in the brensocatib group. The most common adverse events were gastrointestinal disorders and infections. One death in the placebo group was judged as possibly related to study drug. Interpretation Brensocatib treatment did not improve clinical status at day 29 in patients hospitalised with COVID-19. Funding Sponsored by the University of Dundee and supported through an Investigator Initiated Research award from Insmed, Bridgewater, NJ; STOP-COVID19 trial